; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY
; ERROR: Target has reachable unreachable

define i8 @src() null_pointer_is_valid {
  %p = alloca i8
  %q = getelementptr i8, ptr %p, i8 1
  %v = load i8, ptr %q
  ret i8 %v
}

define i8 @tgt() null_pointer_is_valid {
  unreachable
}
